561. UML 2003-the unified modeling language
Author: / Perdita Stevens, Jon Whittle, Grady Booch (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development Congresses,UML (Computer science) Congresses
Classification :
QA76
.
76
.
D47
,
U45
2003
562. UML 2000--the unified modeling language : advancing the standard : third International Conference, York, UK, October 2-6, 2000 : proceedings
Author: Andy Evans, Stuart Kent )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
1939
563. UML 2003-the unified modeling language : modeling languages and applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings
Author: Perdita Stevens, Jon Whittle, Grady Booch )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
2863
564. <UML> 2001- the unified modeling language : modeling languages, concepts, and tools : 4th international conference, Toronto, Canada, October 1-5, 2001 : proceedings
Author: Martin Gogolla, Cris Kobryn )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
2185
565. UML 2004 : the unified modelling language : modelling languages and applications; 7th International Conference, Lisbon, Portugal, October 11-15, 2004 : proceedings
Author: Thomas Baar...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، UML )Computer science(
Classification :
QA
76
.
L28
Vol
.
3273
566. Unifying the software process spectrum
Author: Mingshu Li, Barry Boehm, Leon J. Osterweil (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses.,Computer software-- Quality control, Congresses.
567. VDM '87 :
Author: edited by D. Bjørner ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development-- Congresses.,Computer software industry-- European Economic Community countries-- Congresses.
Classification :
QA76
.
76
.
D47
V85
1987
568. VDM '91
Author: / S. Prehn, W.J. Toetenel (eds.)
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer software- Development- Congresses
Classification :
QA76
.
76
.
D47
,
V36
1991
569. VDM' 87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, proceedings
Author: edited by D. Bjorner...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
Classification :
QA
76
.
L28
Vol
.
252
570. VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings
Author: VDM '78, )7891, Brussels, Belgium(
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Computer software - Development,Congresses ، Computer software industry - European Economic Community countries
Classification :
QA
76
.
L4
v
.
252
571. VDM '90 : VDM and Z : formal methods in software development : Proceedings
Author: D. Bjorner, C.A.R. Hoare, H. Langmaack )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
428
572. VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings
Author: VDM '09 )0991: Kiel, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- Congresses
Classification :
QA
76
.
76
.
D47
.
V36
1990
573. VDM'88 : VDM, the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 1988 : Proceedings
Author: R. Bloomfield, L. Marshall, R. Jones )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Computer software industry -- European Economic Community countries
Classification :
QA
76
.
L28
Vol
.
328
574. VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings
Author: VDM '88 )8891: Dublin, Ireland(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- Congresses,، Computer software industry-- European Economic Community countries-- Congresses
Classification :
QA
76
.
76
.
D47
.
V854
1988
575. VDM'91 : formal software development methods : 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991: proceedings
Author: S. Prehn, W.J. Toetenel )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
551-552
576. VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 : proceedings
Author: VDM '19 )1991: Noordwijkerhout, Netherlands(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- Congresses
Classification :
QA
76
.
76
.
D47
.
V36
1991
577. VDMʹ 90 VDM and Z- Formal methods in software development, proceedings of...
Author: ^aInternational symposium of VDM Europe. 3rd, Brussels, 1990.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer software- Congresses
Classification :
005
I61v
578. Vdm 87:vdm,a formal method at work:vdm-europe symposium 1987,
Author: BJORNER,DINES
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: COMPUTER SOFTWARE-DEVELOPMENT-CONGRESSES , COMPUTER SOFTWARE INDUSTRY-EUROPEAN
Classification :
QA
76
.
76
.
D47
V85
1987
579. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
580. Verification of infinite-state systems with applications to security /
Author: edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.
Classification :
Q295
.
N38
2005eb
